Thesis Proposal Type Safety of Equation-Based Object-Oriented Languages
نویسنده
چکیده
During the past two decades, a new kind of object-oriented language based on differential-algebraic equations has emerged. Examples of such languages are Modelica, gPROMS, and VHDL-AMS. This kind of language, which we call equation-based object-oriented (EOO), enables new possibilities of modeling and simulation of complex dynamic physical systems. However, the unusual language semantics results in new challenges regarding static detection of model errors. In this thesis, we are investigating the use of type systems for static detection of such errors, as well as defining the language semantics in terms of a small kernel language. The formal semantics of such a kernel language is to be defined and the soundness of the type system is to be proven.
منابع مشابه
Type Safety of Equation-Based Object-Oriented Modeling Languages
Computer aided modeling and simulation of complex physical systems, using components from multiple domains, such as electrical, mechanical, and hydraulic, have in recent years witnessed a significant growth of interest. Generalpurpose simulation tools, e.g., Simulink, using block diagrams and causal connections have dominated the area for years. However, in the last decade novel languages, (e.g...
متن کاملDynamic overloading with copy semantics in object-oriented languages: a formal account
Mainstream object-oriented languages often fail to provide complete powerful features altogether, such as, multiple inheritance, dynamic overloading and copy semantics of inheritance. In this paper we present a core object-oriented imperative language that integrates all these features in a formal framework. We define a static type system and a translation of the language into the meta-language...
متن کاملRelationships for object-oriented programming languages
Object-oriented approaches to software design and implementation have gained enormous popularity over the past two decades. However, whilst models of software systems routinely allow software engineers to express relationships between objects, object-oriented programming languages lack this ability. Instead, relationships must be encoded using complex reference structures. When the model cannot...
متن کاملGeneric Ownership: Practical Alias Control in Object-Oriented Programming Languages
Modern object-oriented languages support many techniques that simplify the work of a programmer. Among them is type genericity — an ability to create generic descriptions of algorithms and object structures that will be automatically specialised by supplying type information at run time. On the other hand, object-oriented technologies still suffer from bad effects of aliasing— a case of many ob...
متن کاملA Study of Semantics, Types and Languages for Databases and Object-Oriented Programming
The purpose of this thesis is to investigate a type system for databases and object-oriented programming and to design a statically typed programming language for these applications. Such a language should ideally have a static type system that supports: polymorphism and static type inference, rich data structures and operations to represent various data models for databases including the relat...
متن کامل